Proposition 6.4.1 (Stability of K0)

Let be the canonical inclusion of a -algebra into its stabilization . Then is an isomorphism.